Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
21	Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2015-11-06 10:54:47
22	A Modal Logic for Abstract Delta Modeling ∗ Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net - Date: 2012-11-25 10:40:43
23	Modal verbs A modal verb is an extra verb which is used before the main verb and gives more information about the main verb. An example of a modal verb is the verb ‘can’. ‘Can’ goes before another verb and shows Add to Reading List Source URL: www.chambers.co.uk Language: English - Date: 2015-02-17 11:04:57 Linguistics Grammar Syntax Parts of speech English modal verbs Modality Modal verb Shall and will Infinitive Modal logic Verb Uses of English verb forms
24	Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-10-20 05:03:57 Logic Mathematical logic Non-classical logic Modal logic Proof theory Philosophical logic Model theory Admissible rule Sequent Normal modal logic Kripke semantics Intuitionistic logic
25	Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 07:45:41 Logic Mathematical logic Mathematics Proof theory Automated theorem proving Craig interpolation Lemmas Non-classical logic Sequent Propositional calculus First-order logic Modal logic
26	C:uments and SettingsoomeDocumentsiclese or narrow scopee or narrow scope.wpd Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2006-09-07 13:09:54 Philosophy Logic Cognitive science Philosophical logic Epistemology Rational choice theory Autonomy Philosophy of mind Rationality Isought problem Reason Modal logic
27	Ensuring Agent Properties under Arbitrary Sequences of Incoming Events Stefania Costantini1 , Pierangelo Dell’Acqua2 , Lu´ıs Moniz Pereira3 , and Arianna Tocchio1 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-06-08 10:41:46 Philosophy Logic Theoretical computer science Temporal logic Logic in computer science Linear temporal logic Modal logic Causality Formal verification
28	/tmp/scitmpfigure3.eps Add to Reading List Source URL: nil.csail.mit.edu Language: English - Date: 2015-01-05 06:37:33 Logic Algorithm Mathematical logic Theoretical computer science Modal logic Philosophy Abstraction
29	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 333–357 http://www.cssp.cnrs.fr/eiss8 On apparently non-modal evidentials Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-23 02:29:15 Grammatical moods Linguistics Philosophy Epistemology Evidence Evidentiality Pragmatics Modal logic Lisa Matthewson Perfect Epistemic closure Lillooet language
30	Why Not Epistocracyg live, d d e n I die, to die, while being the best I can beThis way of Me is k t : to live and die while practicing [527e4askountas] justice and virtue. Add to Reading List Source URL: www.brown.edu Language: English - Date: 2014-07-17 13:38:58 Philosophy British people Academia Democracy Elections John Stuart Mill Modal logic Epistemic democracy Meritocracy